REVIEWS OF MODERN PHYSICS, VOLUME 81, JANUARY–MARCHThe electronic properties of graphene A. H. Castro Neto Department of Physics, Boston University, 590 Commonwealth Avenue, Boston, Massachusetts 02215, USA

Source URL: www.condmat.physics.manchester.ac.uk

The Twin Continua of Inductive Methods Dedicated to our good friend Jouko J.B.Paris and A.Vencovsk´a School of Mathematics The University of Manchester Manchester M13 9PL

Source URL: www.maths.manchester.ac.uk

Implementation and Evaluation of Forgetting In ALC-Ontologies Patrick Koopmann and Renate A. Schmidt The University of Manchester, UK {koopmanp, schmidt}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk

The Theory of Spectrum Exchangeability E.Howarth∗ and J.B.Paris School of Mathematics The University of Manchester Manchester M13 9PL ,

Source URL: www.maths.manchester.ac.uk

Niamh Moore Centre for Research on Socio-Cultural Change (CRESC) University of Manchester Seminar 3: Qualitative Data and Transport Modelling ESRC Series: Modelling on the Move, Cambridge, 12 April 2013

Source URL: modellingonthemove.org

Some Limit Theorems for M E, M D and CM ∞ J.Paris and A.Vencovsk´a ∗ Department of Mathematics University of Manchester Manchester M13 9PL UK

Source URL: www.maths.manchester.ac.uk

Applying  Dataflow  and   Transac4ons  to  Lee  Rou4ng   Chris  Seaton,  Daniel  Goodman,   Mikel  Luján,  and  Ian  Watson   University  of  Manchester   EuroTM

Source URL: chrisseaton.com

Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luján, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk MULTIPROG 2012

Source URL: chrisseaton.com

• Computing
• Parallel computing
• Computer architecture
• Models of computation
• Dataflow
• Algorithm
• Dataflow architecture
• BMDFM

Terminating tableau calculi for modal logic K with global counting operators Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky School of Computer Science, The University of Manchester, United Kingdom Michal Zawid

Source URL: www.mettel-prover.org

Impact What is it and how do we create it? Joshua Knowles School of Computer Science The University of Manchester

Source URL: studentnet.cs.manchester.ac.uk